Control flow graphs are a well-known graphical representation of programs that capture the control flow but abstract from program\r\ndetails. In this paper, we derive decision graphs that reduce control flow graphs but preserve the branching structure of programs.\r\nAs an application to software engineering, we use decision graphs to compare and clarify different definitions of branch covering\r\nin software testing.
Loading....